(declare-fun |sko:i_676| () Int)
(assert (not (<= |sko:i_676| 0)))
(push)
(assert (let ((a!1 (int.to.str |sko:i_676|))) (let ((a!2 (= (Some_3 |sko:i_676|) (ite (>= (str.to.int a!1) 0) (Some_3 (str.to.int a!1)) None_2)))) (not a!2))))
(check-sat)
(pop)
(push)
(assert (let ((a!1 (ite (>= |sko:i_676| 0) (int.to.str |sko:i_676|) " "))) (let ((a!2 (= (Some_3 |sko:i_676|) (ite (>= (str.to.int a!1) 0) (Some_3 (str.to.int a!1)) None_2)))) (not a!2))))
(check-sat)
(pop)
